1. Assurance Applications-Design and Verification of Microprocessor Systems for High
پدیدآورنده : / David S. Hardin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
2. Design and verification of microprocessor systems for high-assurance application
پدیدآورنده : / David S. Hardin, editor
کتابخانه: کتابخانه پژوهشکده بیمه (تهران)
موضوع : Programmable controllers, Design and construction,Programmable controllers, Testing
رده :
TJ223
.
D4
2010